The U.S. Office of Personnel and Management has formalized Trump's executive order with health insurance carriers.