What are we to do about the tens of thousands of migrants trying to reach Europe?