Burger King operations would remain in Miami in a Tim Horton