they're not going to show you that reef if you didn't notice it before, and make a mental note. Tough stuff for the captain and navigator(s). Hope it doesn't set them back too much professionally, they'll just be better for it.