Kenia: Dschihadisten töten drei Mitarbeiter des US-Militärs