A Naval Biographical Dictionary/Hockings, Robert