I'd double, because if partner has 4♠ i want us to at least get to that game, which will probably be right. If he doesn't have 4♠, all the bids are sort of random anyway and trying to figure out what's right in this spot is too hard. I admit double puts us in a terrible position to get to the right game, whatever it might be, if partner doesn't have 4♠.