Texas Company. Payment of judgments, District Courts, Navy Department, supplemental estimate of appropriations for payment of judgment, District Courts, Navy Department.