It’s apparently the first fatal shark attack at Lovers Point in more than 70 years, but 3 years after a fellow swimmer was severely injured.