The Red Radio Ring: a gravitationally lensed hyperluminous infrared radio galaxy at<i>z</i> = 2.553 discovered through the citizen science project Space WarpsJ. E. Geach, M. Viero, A. Verma et al.|Monthly Notices of the Royal Astronomical Society|2015Cited by 47