Portugal win the world cup