When King Demetrius heard of it, he mustered a very large army and marched out to engage him in battle.