Los dos trabajadores heridos en Gibraltar son españoles

Los dos trabajadores son españoles. Y claro cotizarán y estarán dados de alta en la Seguridad Social Inglesa. ¿ No serían turistas ?