A Naval Biographical Dictionary/Tom, John