"which were stolen yesterday from the United States Mint."