A 4.7-magnitude earthquake in the middle of the Red Sea