It was May 4th yesterday — May The Fourth, as in, “May The Fourth Be With You,” a.k.a Star Wars Day, a clunky pun that has somehow expanded into a thing that actual nerds and companies around the world pretend to celebrate. In case you were wondering, here’s what happened at The White House: