FINA diving officials manual 2017-2021 Version: September 24, 2020 (FINA, 2020)