While most governmental agencies have a forced retirement age, not the Supreme Court or Congress. They are not civil service jobs and for them, 85 is the new 65.
Where do you get that from? Most government agencies do not have a mandatory retirement age, except for law enforcement.