Das US-Militär hat mit einem Vergeltungsangriff auf den tödlichen Terroranschlag in Kabul reagiert und einen örtlichen Ableger der Terrormiliz IS attackiert.