A planet and its Trojan orbiting a star in the PDS 70 system (an