House reports on public bills, 87th Congress. 1639. Amending title 10, United States Code, with respect to withholding pay of certain retired officers of naval service. Report from Committee on Armed Services to accompany H.R. 11217.