Denomina “Aeroporto Pinto Martins” o aeroporto do Cocorote, em Fortaleza.