An interval of high salinity in ancient Gale crater lake on Mars