Red Bull's Christian Horner: "It's such a tough call knowing whether to pit or not"