The evacuation from Dunkirk Operation Dynamo, 26 May-4 June 1940 - Gardener WJR (Naval Staff Histories, 2000)