Girl dies in shark attack after trying to swim with dolphins

The girl suffered injuries to her leg that proved fatal, but police did not report either the full extent of her injuries or the type of shark involved in the attack.