Mineral is not the recommended. Any oil meeting the standards and grades listed in the handbook is recommended be it mineral, semi-synthetic or fully synthetic.
Personally I would go with semi-synthetic for that engine. It shouldn't need the added protection that fully synthetic gives (unless you want to give it a hard time, or don't mind spending the extra money) and I feel that 10,000 miles drain interval is too long for a mineral based oil.