I woke up around 1 AM and got up to get a drink of water. I wandered into the office and checked the latest headlines, and was happy to see that 12 of the 13 miners trapped by a mine explosion in W…