Happy Cinco de Mayo. Today is not only a Mexican holiday, but the anniversary of one of the greatest defeats in French military history (at the hands of Mexicans, as it happens). See page 124 of this book for details.