Henrik Christiansen videre til finalen på 800 meter fri i svømme-VM