H.R. 4257 — A bill to amend title 5, United States Code, to include service during World War II in the United States merchant marine as military service for purposes of the civil service retirement system. | PoliFocus