De verlenging van het grote droogdok te Antwerpen