Struggling Jose Reyes will remain the Marlins’ leadoff man, for now