Warhol 'Double Elvis' goes for $37 million