Trump executive order: US judge temporarily halts deportations