Shipping commissioners. Designation of United States shipping commissioners as enforcement officers for purposes of act of June 25, 1936 [Public no. 808, 74th Cong., 49 Stat. 1936].