Dead Pt. Reyes whale was hit by ship