One CATOBAR carrier: São Paulo is a Clemenceau-class aircraft carrier currently in service with the Brazilian Navy. What setback happened to Sao Paula in 2012