Vallejo police officers secure the entrance to Dock C at the Vallejo Marina while other officers investigate the scene of an officer-involved shooting Tuesday night at the far end of the dock. (Mike Jory/Times-Herald)

A man in his 40s was shot to death Tuesday night after he allegedly pointed a gun at a Vallejo police officer.

Police spokesman Lt. Lee Horton said an officer responded to a 7:09 p.m. call about a verbal argument at about 8:05 p.m. The site was a large boat docked at the Vallejo Marina's Dock C, 42 Harbor Way.

Horton said the arriving officer boarded the boat and was approached by a man who pointed a firearm at him. The officer then pulled his service revolver and shot him, Horton added.

It was not immediately known if the man fired the weapon, but no officer was injured, Horton said. It also was unclear whether more than one officer discharged his weapon.

Patrons of the Sardine Can restaurant next to the dock said they heard multiple gunshots.

The mortally wounded man was taken to Kaiser Permanente Medical Center, Vallejo where he was pronounced dead some time later. His name was not immediately released pending notification of next of kin.

Police said the wounded man was the only person on the boat when police arrived in response to the argument call.

No other information was released as of press time, and Horton said additional details will be provided Wednesday afternoon.

Tuesday night's incident was the second fatal officer-involved shooting in Vallejo this year. On March 20, police were involved in another shooting, which ended in the death of William Heinze, 42, who had barricaded himself inside a home in the 1800 block of Sutter Street for hours.

In the wake of the shooting, the Vallejo Police Department invoked the Solano County Fatal Incident Protocol. The involved officer has been placed on administrative leave in accordance with department procedure, Horton said.