BBC leaders resign after the broadcaster’s editing of a Trump speech.