Crux fidelis - Song by João IV of Portugal