Abyssal flow through the Amirante Trench (western Indian Ocean)