The cookies are commonly called linzer tortes. I couldn't find a recipe specifically for the ones at Epcot, but if you do a Google search for linzer torte, you'll probably find a recipe similar to those.
For Christmas, I often make "quickie" linzer torte cookies by using refrigerated Pillsbury sugar cookie dough. I cut 1/2 the dough into solid stars, and the other 1/2 of the cookies are the same size star with a smaller star cut out of the center. Once you bake the cookies, spread a very light coating of a thin glaze made from milk, powdered sugar and a drop or two of almond extract (to taste) on the "cutout" cookies, then sprinkle with sliced almonds while the glaze is still wet. If you prefer powdered sugar to glaze & almonds, dust the cutout cookie with powdered sugar BEFORE placing on top of the other cookie. I then boil raspberry jam in the microwave, stick the top & bottom cookies together with some of the slightly cooled jam, and then fill the cutout to the top with jam. If you want the jam really red, stir in a couple drops of food coloring after melting.
I hope this is helpful!