A Naval Biographical Dictionary/Jager, Thomas