A 4.2-magnitude earthquake in the Mediterranean