Post 9/11, shooting down a passenger aircraft that appeared to be under control of other than the crew and was heading for a densly populated UK location, such as for instance Canary Wharf, would be seen as the least worst option. 300 lives lost vs thousands.
Sadly we live in an age where those sort of decisions need to be considered.