Anyone know if there are areas where bringing a pocket knife is not allowed in snorkeling areas near the shore or on dive cruises?