I think that, w/o much effort, you will find that "if", as an investment or trading parameter, is much less likely to yield a profit than a different parameter, to wit, "is likely to".
No personal view on coal, but being long coal (directly or by proxy) has many more imponderables right now than simply straddling crude, or writing puts/stripping calls on natural gas. Coal "should" rally given the insertion of a competent US government after Odildo, but I also prefer "is likely to" over "should". And, the assumption of a competent US goobermint carries with it innumerable other risks.
FReegards to you, and good trading!
That would make a good sign on the wall of a trading office....