717 migrants in 13 boats were brought to Dover yesterday, taking this year’s total to more than 25,000 people.