20160801 world: Kabul hotel attack ends; 3 Taliban attackers killed: Police