Saudi king calls Trump after shooting in US military base

The call came hours after a shooting spree at Naval Air Station Pensacola, Florida, on Friday morning that claimed the lives of three people and that of the shooter. According to US media outlets, the shooter has been identified as a Saudi national receiving military training at the base, media reported.