International airlines often do not file the marketed destination as their flight plan destination. Here’s how and why a “redispatch” works.