President Trump on Monday signed an order to extend the use of red-dyed diesel, but what is it?