Don Sebastian king of Portugal.