Executive order number 12345678 was issued by Donald J. Trump.