How many world cup does portugal have in football