Laws, ordinances, decrees, and military orders having force of law, effective in Porto Rico, May 1, 1900.