Fate of US coal exports in 2020 may ride on post-pandemic stimulus