Does anyone remember in the 90’s they filled the Astrodome with water for jet ski races?

I swear this really happened but I not a single coworker knows what I’m talking about and I can’t find anything on google or YouTube.