Trump EO could violate ERISA, see court challenges