A Naval Biographical Dictionary/Revans, Thomas