~~REDIRECT>juan_de_ribera_(obispo)~~