NGC 2419, John Leader