Rock of Gibraltar (c1830). Watercolor. 17 x 27. Sale $793,000 (2009, Christie's, 7782, 24).