Saída de António Esteves Martins da RTP confirmada em Diário da República