portrait in a mexican hat .