The following is a list of Royal Navy ship names by name in alphabetical order, both past and present. Many of the names have been re-used over the years and thus represent different ships.
(Note that this list still lacks many important ships.)
... So are several laws proposed or already enacted in various jurisidictions (State, Federal, non-US). Most would include in all computer systems obligatory mechanisms ...