US Mint presses the last penny, ending production after more than 230 years