Bet/fold turn IMO. If he shoves we only have 10 outs , as I doubt he ever shoves worse here. But he might call with worse if you bet. So I bf turn, shove river.