Theresa May resigns as Prime Minister: How the world reacted

US president Donald Trump, Taoiseach Leo Varadkar and former Prime Minister David Cameron were among a host of names who gave their sympathy to outgoing Prime Minister Theresa May as she announced her resignation.