Who was the father of the Danish king involved in the Battle of Marton?