“James Sexton predicts the U.S. Postal Service will fail financially because its pension system was not designed for the longer lifespans of modern retirees.”