People sometimes go diving on vacation.