Frozen water in a crater at the north pole on Mars