What happens when lava flow reaches the ocean?

PHP
What happens when lava flow reaches the ocean? 
Source

Also in PHP: