A Naval Biographical Dictionary/Tully, John