US Manufacturing PMI Hits 4-Year High of 55.3 in May