 Before the Home Run Derby, they sang the national anthem. They being Major League Baseball, they had the national anthem sang. And they had a woman that I've never heard of in my life by the name of Ingrid Andres or Andres. Forgive me for not knowing. My bad. Doesn't matter. Not to me at least. I'll figure it out later.