There are two possibilities: one, it is a masking artifact; two, it is a tiny stretch of ocean, due to your low viewpoint. Had you lowered your camera just a bit more, it would have disappeared and we would see just an intersection of lava and sky. Had you raised your camera just a bit, we would have seen more of the ocean. Me thinks.