20th-century United States Navy officers.