Stephan's Quintet, John Hayes