Where to go for hols?

Was originally going to go to Sharm El Sheik for diving hols in Oct, but given recent events we are seriously reconsidering. I know its bad to "let the terrorists win", but car bombers in the tourist area is serious stuff.

We may still go to Egypt, but to a quieter resort... the diving in the Red Sea is supposed to be excellent.