What troops arrived in mid-June 1940