Há um nome português que podemos associar à missão PLATO, que parte à descoberta de uma nova Terra?