NAIROBI, Kenya — Kenya officials: Security op over, 4 attackers killed, death toll may be high as about 150.