A Naval Biographical Dictionary/Delafons, Thomas