Richard Vernon Battle