Astronomers found an ocean planet