A 4.7 magnitude earthquake was detected in the Red Sea