A man-made hot spring on the ocean floor