Catch from marine fisheries in ton by species in the Red Sea for industrial fisheries for the years 2018 to 2022