They all should retire at 72....all government workers..
Maybe we are saving money this way no retirement money for thirty years
President of the United States Donald J Trump is 73 years old.