A Naval Biographical Dictionary/Tripp, John Upton