Congress caused this shortfall by enforcing insane pension funding requirements. This is not an operational issue with the service, just a legislative issue.