Back in mid-November, a man in Colorado filed a joke petition on the White House petition website, asking the U.S. government to build a Death Star.