Biodiversity loss in the ocean: how bad is it?