The amusement park is Disney World.