Israel gave IRGC top brass hours to flee before strikes - Washington Post