US strikes its final penny — Treasury ends 232 years of coin history