Floridians celebrate ‘May the Fourth’ at Star Wars Galaxy’s Edge