Is this equivalent to col.zipWithIndex.maxBy(_._1)?