Pacific Grove Police said that people at the beach reported that a shark was in the water around the time of the attack.