Då konungen af Portugal med följestigit