Boehner: Egyptian military 'did what they had to do'