military forces in the Battle of Dunkirk