Jose Mourinho Shutterstock
Trump had authorised the US military to go ahead as early as 25 December, but left the precise timing to Pentagon officials and Special Operations planners to ensure that the attacking force was ready