The royal conquest, or, The happy success against a potent enemy