20020718 unknown: Osama left Tora Bora before US bombing: Report