The decline of US coal production is right there in the page that you linked to:
https://en.wikipedia.org/wiki/Coal_mining_in_the_United_Stat...
American coal production peaked in 2008 at 1.172 billion short tons. Domestic use peaked in 2006 at 1.150 billion short tons. As of 2018 those numbers are down to 0.755 and 0.678 billion tons short tons respectively.
The EIA's latest Short Term Energy Outlook predicts that total US coal production for 2019 will be 0.679 billion short tons and for 2020 will be 0.603 billion short tons, 48% below the peak.
If you look at the "components of annual change" graphic in the EIA report, you can see that coking coal (used for making steel) is up slightly from 2017-2020. It's coal consumption for electric power that is in persistent decline.
https://www.eia.gov/outlooks/steo/report/coal.php
Coal supplies about 25% of American electricity in 2019 and is expected to decline to 22% in 2020:
https://www.eia.gov/outlooks/steo/report/electricity.php
Percentage-wise, coal reached its all time high in the mid-1990s, at over 50% of American electricity generation:
https://www.mjbradley.com/sites/default/files/MJBAcoalretire...
The Jevons Paradox observes the introduction of more efficient technology in an existing system but finds a "paradoxical" uptick in input consumption. The introduction of more efficient coal burning machinery in England was followed by higher coal consumption. That surprised Jevons.
The broadening of energy use (e.g. India developing like England did) certainly also increases demand for energy inputs, but it's a different case than the Jevons Paradox.