An explosion in an underground iron mine