According to the 2019 park map, Peppermint Patty's Candy Shop has been renamed The Candy Shop on International Street. Probably nothing more than a name change, but interesting to see the park removing some of the out-of-place Peanuts theming in favor of International Street branding.