Top Trump-functionarissen erkenden dat ze geen rekening hadden gehouden met de kans dat Iran de Straat zou sluiten als reactie op aanvallen - CNN, verwijzend naar bronnen