Box Jellyfish in the Red Sea???

Last Month i was Vacationing and Snorkeling in the Red Sea in Hurghada, at a Coral Reef until i suddenly saw a Box Jellyfish. It had very long Tentacles and a Bell like a Morbakka or Carybdea Species. As a Jellyfish Expert I wonder, was it transported in Ship Ballast Water? Or is it a native Species that we don’t know about? Normally the Red Sea is not Box Jellyfish Habitat. I was very surprised when i saw it.