Willem de Kooning’s record-breaking sale ‘Untitled XXV’