Amazing footage of lava flowing into the ocean. Filmed by the U.S. Geological Survey video edited by the WSJ