US Consumer Prices Jumped Sharply in May