A Naval Biographical Dictionary/Whipple, John