How many British troops helped invade Denmark