Crude oil prices down in thin trade as US gears up for Presidents’ Day