Fair point however, while coal may be a initial energy source, they could also try Thermal, nuclear, solar, etc..
Also, hydrogen can be used to make hydrazine to be used as rocket fuel, and while your assumption of Iris deterioariton makes sense, you fail to acknowledge that she could automate...