5月の米製造業PMI、55.3と4年ぶりの高水準を記録