Yes, it's a very sad thing to have happened.
I don't think any cruise line (at least not the major ones like Carnival, Disney, Royal, Celebrity, etc.) have lifeguards at the pools so it's up to the parents to watch their kids. I didn't hear the whole story so don't know if the parents were "right there" or what really happened but I feel very bad for them, it's heartbreaking.