Which king, who reassumed the throne upon his son's death, had in his service the Flemish-born military engineer George Prosper Verboom?