Whenever a judge or justice of any federal court has reached the age of 70 and does not avail himself of the opportunity to retire on a pension, a new member shall be appointed by the president then in office.