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