A Naval Biographical Dictionary/Heddington, Thomas