As President Trump follows through on his threat to sue the BBC, what are the options for the corporation?