A Naval Biographical Dictionary/Watkins, Thomas Vernon