Um(a) porta aviões é um tipo de navio