Ronaldo is out of this world: Astronomers name galaxy ‘CR7’