Top intelligence sources suggest that 10 Pakistani vessels that Iran allowed to pass Hormuz were used or coordinated in ways that ended up benefiting the US side.