Nine miners were trapped when water gushed in from a nearby unused mine.