20190522 home.science: Gas layer protects ocean from freezing on Pluto