Europe’s Gas Shortage is No Reason to Halt Coal Phase-out