Korolev crater photographed by the High Resolution Stereo Camera (HRSC) instrument on the Europ