Earthquake of Magnitude 4.7 Shakes Portugal, Causes Widespread Alarm