WP Editor Widget adds a WYSIWYG widget using the wp_editor(). Download here or on WordPress.org: https://wordpress.org/plugins/wp-editor-widget/.