Where is this list posted by the US Government? These countries aren't in Annex I of the Executive Order.