A Naval Biographical Dictionary/Tyssen, John