The recent earthquakes at Yellowstone