Can China profit from Trump’s hostility to Mexico? It’s complicated