20110806 world.middle-east: Gunman killed at Saudi prince's palace