US crude oil prod. in May posts record monthly decline