Trump approved, then aborted, airstrikes on Iran after it shot drone down