Personal information of 237,000 U.S. government employees leaked