5-year-old girl who died after being swept into water in Half Moon Bay ID'd by coroner