Original:  The assailant was shot by a senior police officer, according to local media accounts.
Updated:  The assailant was shot and wounded by a senior police officer, according to local media accounts.