Crude oil prices were mixed on Tuesday. Brent crude oil added 14 cents to $45.27 a barrel, while U.S. WTI crude was down 4 cents, at $42.58 a barrel. The prices were so as Energy companies moved to massive production cuts in the U.S. Gulf Coast from Tropical Storms Marco and Laura against rising coronavirus cases in Asia and Europe.