Public works of Navy under cognizance of Bureau of Yards and Docks and Corps of Civil Engineers, Navy.