A Roman Amphitheater Carved from Lava