Update: At least 4 dead in Half Moon Bay mass shooting