Did 'top Republicans' really 'condemn' Trump's Orlando comments as WaPo suggests?