NGC 7380, John Leader