A Naval Biographical Dictionary/Irving, John