Nation & World

Victim killed by shark in Hawaii was California man, 65