"The King said that the Saudi people are greatly angered by the barbaric actions of the shooter," President Trump wrote on Twitter, adding that King Salman also said the gunman does not represent the feelings of Saudis.
In a statement, the Saudi embassy in Washington said King Salman had directed the kingdom's security services to cooperate with their American counterparts "to uncover information that will help determine the cause of this horrific attack."
Governor Ron DeSantis of Florida, a Republican, traveled to Pensacola on Friday afternoon. He suggested the government of Saudi Arabia might need to compensate the families of the shooting victims.
"The government of Saudi Arabia needs to make things better for these victims, and I think they're going to owe a debt here, given that this is one of their individuals," he said.
The shooting was the second this week at a Navy base.
The first, at Joint Base Pearl Harbor-Hickam in Oahu on Wednesday, came as that installation was preparing for the 78th anniversary on Dec. 7 of the Japanese attack that marked the United States' entry into World War II.
A United States sailor opened fire at a dry dock at the base, the Pearl Harbor Naval Shipyard, fatally shooting two shipyard workers and injuring another before killing himself, the authorities said.
The shooter was identified as Gabriel Antonio Romero of Texas. The motive for the shooting is not yet known.
Romero was assigned to the U.S.S. Columbia, a submarine docked at the shipyard for maintenance, Rear Adm. Robert B. Chadwick II, commander for the Navy in Hawaii, said.
(Note: You can view every article as one long page if you sign up as an Advocate Member, or higher).