Several years later, in 88 BC, a Roman army was sent to put down an emerging Asian power, king Mithridates of Pontus. In what year was a Roman army dispatched to terminate the King of Pontus?