Kenya tightens security for Nairobi marathon after mall attack