That's a slightly different question to 'which oil' as you will be mixing whatever is in there at the minute and whatever you put in. Not sure how much it matters, but iirc mineral and synthetic oil don't really mix well.
It might be worth doing a full oil change.