What is the name of the ocean surrounding Pangaea?

The Panthalassic ocean.