Waukesha police shooting: Officer who was shot is released from hospital