4.2 magnitude earthquake shakes Yellowstone National Park