Egypt mourns 11 soldiers killed in ISIS Sinai attack, vows to continue fight