May US imports highest of 2023, but down 20% from year-ago: data