Should baby yellow belly slider be kept with adult red ear slider?