A Naval Biographical Dictionary/Waghorn, Thomas