También es conocido como la Bahía de San Pedro o Puerto Mundial.