How many stars does portugal have in the world cup