Restaurant Brands International Inc.’s Burger King