"Lifeguards determined that a free diver had been bitten by a marine mammal (sea lion or harbor seal)," the department says.

The San Diego Fire-Rescue Department says a sea lion attacked a man as he was swimming in the area of La Jolla Children's Pool Monday morning.