Gas-Phase Infrared Spectrum of the Coronene Cation