Due to severe budget problems, Puerto Rico will have to slash its budget, as announced in February 2017 (see http://www.businessinsider.com/the-board-has-spoken-puerto-rico-to-be-hit-with-painful-austerity-measures-2017-2). This includes cutting 10% from the retirement system for government employees, since that system is on the verge of running out of money completely. Sound familiar, U.S. residents?...