20120809 world.middle-east: Egypt raids Sinai; kills 20 jihadis