Washington Navy-Yard. Manual for employees of navy yard and station, Washington, D. C.