PANAMA CITY BEACH — Less than a month before the election, city officials say Republican Presidential nominee Donald Trump’s campaign will be coming to Panama City Beach for a rally at Aaron Bessant Park.

The rally will be 7:30-9 p.m. Tuesday, according to Panama City Beach City Manager Mario Gisbert, who said the campaign applied for a special event permit for the park Wednesday.

“They are asking for forms and doing all the things they need to do to have (an event) on Tuesday,” Gisbert said. “At this point yesterday I thought might be a hoax, but it’s not. I’ve gotten confirmation it’s real.”

The Trump campaign has not officially confirmed the visit or location. According to the schedule on his website, Trump will be in Pennsylvania on Oct. 10 and Ohio on Oct. 13, while his running mate, Indiana Gov. Mike Pence, has no events on his schedule for that week.

This would be Trump’s third stop in the Panhandle this election, as he previously has held two rallies in Pensacola — one in January and one last month.