Partner must hold the other 4-card major (spades), otherwise there would have been no reason for him to bid Stayman in the first place.
You must therefore bid 4♠.