Shark attack stuns tourists

Published: 2:59 PM PDT October 16, 2015
Updated: 3:02 PM PDT October 16, 2015