Should EU punish Egypt after its army ousted Morsi?