Magnitude-6.4 earthquake strikes off the coast of Puerto Rico