Home Editor's Choice Trump’s Penny Policy: It makes sense to stop making cents