A Naval Biographical Dictionary/Whymper, William