A senior US official