Swimming Pool Waterquake Earthquake of magnitude 7.2 off the coast of Taiwan