Lawsuit targets Trump’s rollback of Biden-era mining rule