I can pretty much guarantee it crashed short of 04 as both pilots went head free. Overrun doesn’t cut it in my mind. If it over ran the runway it would be nose first into the water off the wall end. I reckon they were doing a go around as well just as they impacted the water. Time will tell.