The attacks, widely expected as a retaliation to a missile barrage launched by Iran on 1 October, were described by a senior US official as ‘extensive’ and ‘precise’